Getting fluent constraints into lifted expansion. Still incomplete.