Re-added assertion in abstract_linear