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