lint geometric_program