Reducing Answer Set Programs under partial assignments