Fluents modification
FD and some problems