Calling function in consequent of SVA

If the antecedent fails, Then also function will be called ?