Added comment # in formulas file and basic implementation of STOP formula to introduce the notion of goal during the computation