Add assertions for variable interpretation.