revised goal semantics, added PROFETA.stop()