Bug fix en prettypr de 'objdecl'
Nuevos tests