FIX: test and fix the propagation of fixed values