Add -fspec-inline-join-points to SpecConstr