Add support for NoSpecConstr annotation