added tests for isLiteral
added some tests for methods of Formula