Put in start of suffices function

+ Start of suffices function
+ Fixed error in unify function
+ returnsBool function (TO BE RENAMED AND GIVEN FUNCTION)
+added test rule "ruleX"