Add replaced to solver
Turn names into lower case in rules