[Merged by Bors] - fix: use isSimp := false
in simps
#5977
Closed
isSimp := false
in simps
#5977