LLVM verify fails for string arrays about lfortran HOT 2 OPEN

I made progress over it, there is a test that fails, I'll check it and open PR by tomorrow.

from lfortran.

One small question, are these two character(len=1), intent(in) :: s(*) and character(len=1), intent(in) :: s(:) same?

Using -fdump-parse-tree, both have same definition.

  symtree: 'c'           || symbol: 'c'            
    type spec : (CHARACTER 1 1)
    attributes: (VARIABLE  DIMENSION DUMMY(IN))
    Array spec:(1 [0] AS_ASSUMED_SIZE 1 () )

from lfortran.