simple method added for simple goaltype in isabelle