adds some basic data structures for testing
uses the constraints of file C.scala
adds some tests for PBLLiteral and PBLVariable