Strong Equivalence in Answer Set Programming with Constraints