Added inbuilt parsing for goto-locationt tasks