1 files changed, 12 insertions, 2 deletions

diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/resources/org/eclipse/viatra/solver/language/builtin.problem b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/resources/org/eclipse/viatra/solver/language/builtin.problem
index 4975dad6..49b67d5a 100644
--- a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/resources/org/eclipse/viatra/solver/language/builtin.problem
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/resources/org/eclipse/viatra/solver/language/builtin.problem
@@ -1,7 +1,17 @@
 problem builtin.
 
 abstract class node {
-        refers node[0..*] equals opposite equals
+        node[] equals opposite equals
 }
 
-predicate exists(node node).
\ No newline at end of file
+pred exists(node node).
+
+enum bool {
+        true, false
+}
+
+class double.
+
+class int extends double.
+
+class string.
\ No newline at end of file