added functionality to obtain counterStrategy clauses from SLUGS and add them to .ltl. Still need to finish integration for two robots