Syntax error on line 32: .
    define goal_state : bool = (ferryman == 1 && goat == 1 && cabbage == 1 && wolf == 1);
