In advance-real-numbers.cpp
example code, when we use FIXEDMANUAL, the sequence is:
...
auto c2_depth2 = cc->EvalMult(c, c);
auto c2_depth1 = cc->Rescale(c2_depth2);
...
Does it mean the relinearization/key switching is done automatically? Is there a way to run it separately (Mult → Relinearization → Rescale)?