Syntax error on line 28: Syntax Error after keyword property.
    property prop_follow_x2: G (x2 = x2' -> F y2 = x2);
