diff --git a/test/test_angelic_conditions/test_execute_angelic.jl b/test/test_angelic_conditions/test_execute_angelic.jl
index 15bbec4..4dade07 100644
--- a/test/test_angelic_conditions/test_execute_angelic.jl
+++ b/test/test_angelic_conditions/test_execute_angelic.jl
@@ -126,4 +126,13 @@ end
         @test_throws Exception execute_on_input(st, angelic_expr, Dict(:x => 0)) # truthy case should throw an error
         @test apath == [true] # and not enter the if-statement afterwards
     end
+end
+
+@testset "angelic_evaluation" begin
+    p = RuleNode(15, [Hole([]), RuleNode(12), RuleNode(13, [RuleNode(12), RuleNode(2)])])
+    tab = SymbolTable(grammar)
+    angelic_conditions = Dict{UInt16,UInt8}()
+    angelic_conditions[15] = 1
+    res = execute_angelic_on_input(tab, p, grammar, Dict{Symbol, Any}(:x => 1), 2, RuleNode(16), 10, angelic_conditions)
+    @test res
 end
\ No newline at end of file