Thesis: add a table with definitions of variables from MFS pseudocode