ModuleResult navigation

Signed-off by: João M. M. da Silva <jaodsilv@linux.ime.usp.br>