Warning: No rules/facts defined for relation Aa in file type_system_negation.dl at line 22
.decl Aa(a: VariableOrStackIndex)
------^---------------------------
Warning: No rules/facts defined for relation Bb in file type_system_negation.dl at line 23
.decl Bb(a: Variable)
------^---------------
