faster LPF_get_assumptions