A heuristic for problem formalization in agent based simulation studies