Added a method
Added a method to decrement val

Signed-off-by: Behrouz Babaki <Behrouz.Babaki@cs.kuleuven.be>