Implement Cast
Convert problem to ASL format